More from this Author

Formal Methods for Components and Objects

by Elena Giachino (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Reiner Hähnle (Editor)

Formal Methods for Components and Objects

by Elena Giachino (Editor), Reiner Hähnle (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Reiner Hähnle (Editor)